非決定性有限 automaton (NFA)